Finite abstraction of mixed monotone systems with discrete and continuous inputs
نویسندگان
چکیده
منابع مشابه
Finite Abstraction of Mixed Monotone Systems with Discrete and Continuous Inputs
We present an efficient computational procedure for finite abstraction of discrete-time mixed monotone systems by considering a rectangular partition of the state space. Mixed monotone systems are decomposable into increasing and decreasing components, and significantly generalize the well known class of monotone systems. We tightly overapproximate the one-step reachable set from a box of initi...
متن کاملMPC in Systems with Continuous and Discrete Control Inputs
In this paper we point out potential problems in systems where both logic and continuous control in uence a continuous plant. We also propose MPC based approaches for handling the problems. Simulations on a simple but nontrivial plant support the discussion.
متن کاملMonotone Systems with Inputs and Outputs
Monotone systems constitute one of the most important classes of dynamical systems used in mathematical biology modeling. The objective of this paper is to extend the notion of monotonicity to systems with inputs and outputs, a necessary first step in trying to understand interconnections, especially including feedback loops, built up out of monotone components. Basic definitions and theorems a...
متن کاملA MODEL FOR MIXED CONTINUOUS AND DISCRETE RESPONSES WITH POSSIBILITY OF MISSING RESPONSES
A model for missing data in mixed binary and continuous responses, which can be used on cross-sectional data, is presented. In this model response indicator for the binary response can be dependent on the continuous response. A closed form for the likelihood is found. For data with a complicated pattern of missing responses some new residuals are also proposed. The model of multiplicative heter...
متن کاملTests for mixed discrete-continuous systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end of both validating the model and also verifying an actual system. In the automotive domain many systems are reactive and exhibit continuous as well as discrete dynamics. This leads to an explosion of the model state spa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nonlinear Analysis: Hybrid Systems
سال: 2017
ISSN: 1751-570X
DOI: 10.1016/j.nahs.2016.04.005